Logic programming uses formal logic as a form of code. The most well known logic programming is Prolog, which uses first order logic expressed as horn clauses.
Used in Chap. 1: page 6
Links:
alandix.com: AI Book Prolog examples
Logic programming uses formal logic as a form of code. The most well known logic programming is Prolog, which uses first order logic expressed as horn clauses.
Used in Chap. 1: page 6
alandix.com: AI Book Prolog examples